Modelling resilient collaborative multi-agent systems
نویسندگان
چکیده
منابع مشابه
Modelling Cooperative Multi-agent Systems
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent technology can be employed to construct cooperative systems due to agents’ autonomous and collaborative characteristics. We devise an agent-oriented modelling language called CAMLE for the analysis and design of MAS (M...
متن کاملDesigning Multi-agent Systems for Resilient Engineering Systems
Our modern life has grown to depend on many and nearly ubiquitous large complex engineering systems. Many disciplines now seemingly ask the same question: “In the face of assumed disruption, to what degree will these systems continue to perform and when will they bounce back to normal operation”. This presentation argues that multi-agent systems (MAS), as decentralized and intelligent control s...
متن کاملResilient Control and Safety for Multi-Agent Cyber-Physical Systems
I develop novel intelligent approximation algorithms for solving modern problems of CyberPhysical Systems (CPS), such as control and verification, by combining advanced statistical methods. it is important for the control algorithms underlying the class of multi-agent CPS to be resilient to various kinds of attacks. I designed a very general adaptive receding-horizon synthesis approach to plann...
متن کاملFormal reasoning about resilient goal-oriented multi-agent systems
In this paper we present our formalisation of a resilient goal-oriented multiagent system and its essential properties. The formalisation covers the notions of system goals and agents, various formal structures (functions and relations) defining different interrelationships between these notions, as well as constraints on the system dynamics allowing a multi-agent system to become more reconfig...
متن کاملModelling Multi-agent Systems with Category Theory
............................................................................................................................. iii List of Figures .................................................................................................................. viii List of Tables .......................................................................................................................
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computing
سال: 2020
ISSN: 0010-485X,1436-5057
DOI: 10.1007/s00607-020-00861-2